341. Proceedings of the Second Scandinavian Logic Symposium
Author: Scandinavian Logic Symposium, 2d, 0791, University of Oslo
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical - Congresses
Classification :
QA
9
.
S32
1970
342. Proceedings of the eleventh algebra seminar
Author:
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Alegbra, Congresses.,Logic, Symbolic and mathematical, Congresses.
Classification :
{
1648
},
009d2b3152c988d45a132bbfe6b66853
343. Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
Author: edited by S. Etemad, M.J.A. Larijani, Z. Movahed
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic, Symbolic and mathematical - Congresses
Classification :
QA
9
.
A1
L63
1990
344. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
Author: edited by S. Etemad, M.J.A. Larijani, Z. Movahed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
L64
1990
345. Proceedings of the second Scndinavian logic symposium
Author: / ed. by J. E. Fenstad
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical - Congresses
Classification :
511
.
3
S283
346. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
S94
2004
347. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
.
I57
1990
348. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
349. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
350. Proof and computation
Author: edited by Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
P74
351. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Author: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
Classification :
QA
9
.
A1L44
Vol
.
15
352. Sorts and types in artificial intelligence
Author: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
Classification :
QA
335
.
S6
1996
353. Sorts and types in artificial intelligence
Author: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
Classification :
QA
335
.
S6
1996
354. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
Author: K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
418
355. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author: K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
Classification :
Q
334
.
S63
1990
356. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
Classification :
Q
334
.
S632
1990
357. Southeast Asian Conference on Logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ;
358. Southeast Asian Conference on Logic
Author: / edited by C.-T. Chong and M.J. Wicks. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
,.
A1
,
S68
,
1981
359. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
Author: Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
747
360. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
Q
375
.
E88
1993
